Dependability Models Based on Petri Nets and Markov Chains
نویسندگان
چکیده
This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.
منابع مشابه
Dependability and Security Models (Keynote Paper)
There is a need to quantify system properties methodically. Dependability and security models have evolved nearly independently. Therefore, it is crucial to develop a classification of dependability and security models which can meet the requirement of professionals in both fault-tolerant computing and security community. In this paper, we present a new classification of dependability and secur...
متن کاملThird International Conference on Performance of Distributed Systems and Integrated Communication Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. 5.3.2 Non-homogeneous Ctmcs 5.2.1 Stiness Avoidance 5.2.2 Stiness Tolerance
In this tutorial, we discuss several practical issues regarding speci cation and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMs) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that ...
متن کاملPetri-nets and Hybrid-state Markov Processes in a Power-hierarchy of Dependability Models
This paper extends the power hierarchy of dependability models developed by Malhotra and Trivedi (1994) and Muppala et al. (2000) to include Piecewise Deterministic Markov Processes (PDP) and PDP-related Petri Nets. PDPs are known as the largest class of continuous-time hybrid state Markov processes not involving diffusions. Since Petri Nets have proven to be extremely useful in developing Mark...
متن کاملPerformance and Dependability Modeling with Stochastic Petri Nets
While measurement is a valuable option for assessing an existing system or a prototype, it is not a feasible option during the system design and implementation phases. Model-based evaluation has proven to be an attractive alternative in these cases. A model is an abstraction of a system that includes sufficient detail to facilitate an understanding of system behavior. Several modeling paradigms...
متن کاملAutomated Performance and Dependability Evaluation Using Model Checking
Markov chains (and their extensions with rewards) have been widely used to determine performance, dependability and performability characteristics of computer communication systems, such as throughput, delay, mean time to failure, or the probability to accumulate at least a certain amount of reward in a given time. Due to the rapidly increasing size and complexity of systems, Markov chains and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009